Dependent types I › Universes, or types of types
jonmsterling.com·2h·
Discuss: Hacker News
🔤Type Theory
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·17h
⬆️Lambda Lifting
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·20h
🎯Gradual Typing
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
ReflectivePrompt: Reflective evolution in autoprompting algorithms
arxiv.org·5h
⚡Incremental Computation
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
Teaching programming languages
kmjn.org·1d
💻Programming languages
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·19h·
Discuss: DEV
🔒WASM Capabilities
Double Maths First Thing: Issue 33
aperiodical.com·1h
📐Mathematical Art
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·14h·
Discuss: Hacker News
🧮Algebraic Datatypes
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Log Detective: GSoC 2025 (part 2)
danigm.net·4h
🔓Open Source Software
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·18h·
Discuss: Hacker News
⚡Proof Automation
busy beaver function
ncatlab.org·3d
⚔️Lean Theorem
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·19h
🦀Rust Macros
CL-JSON Ambiguity
funcall.blogspot.com·3d·
Discuss: www.blogger.com
🧠Lisp Dialects
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
🔒Type Safety